import"./DOMExtension.js";